Objek bebas

Dalam matematika, gagasan tentang objek bebas adalah salah satu konsep dasar aljabar abstrak. Objek bebas bagian dari aljabar universal, dalam arti bahwa ia berkaitan dengan semua jenis struktur aljabar (dengan operasi finiter). Ini juga memiliki rumusan dalam istilah teori kategori, meskipun ini masih dalam istilah yang lebih abstrak. Contohnya termasuk grup bebas, aljabar tensor, atau kisi bebas. Secara informal, objek bebas di atas himpunan A dapat dianggap sebagai struktur aljabar "generik" di atas A : salah satu persamaan yang terdapat antara elemen objek bebas adalah persamaan yang mengikuti aksioma penentu dalam struktur aljabar.